This book is open access, which means that you have free and unlimited access. This book analyses and discusses the recent developments for assessing research quality in the humanities and related fields in the social sciences. Research assessments in the humanities are highly controversial and the evaluation of humanities research is delicate. While citation-based research performance indicators are widely used in the natural and life sciences, quantitative measures for research performance meet strong opposition in the humanities. This volume combines the (...) presentation of state-of-the-art projects on research assessments in the humanities by humanities scholars themselves with a description of the evaluation of humanities research in practice presented by research funders. Bibliometric issues concerning humanities research complete the exhaustive analysis of humanities research assessment. The selection of authors is well-balanced between humanities scholars, research funders, and researchers on higher education. Hence, the edited volume succeeds in painting a comprehensive picture of research evaluation in the humanities. This book is valuable to university and science policy makers, university administrators, research evaluators, bibliometricians as well as humanities scholars who seek expert knowledge in research evaluation in the humanities. (shrink)

I väntan på den engelska Festschriften, den definitiva biografin eller de självförhärligande memoarerna kommer här för första gången en samling porträtt av den internationellt mest uppmärksammade svenska statsvetaren, den kontroversielle samhällsdebattören Bo Rothstein. Få samhällsforskare har med sådan intensitet tagit universitetens tredje uppgift till intäkt för att ifrågasätta gängse uppfattningar om sakernas tillstånd i riket. Många är de läsare, tittare eller åhörare som knappast kunnat undgå att beröras av hans synpunkter på allt från metoo till tiggeri, något färre är nog (...) de som på allvar tagit del av hans forskningsresultat om korruption och statsförvaltning. I denna bok tecknar ett tjugotal svenska forskare, författare och vänner sin bild av forskaren, debattören och livsnjutaren Bo Rothstein."--Back cover. (shrink)

Recent studies on neural pathways in a broad spectrum of vertebrates suggest that, in addition to migration and an increase in the number of certain select neurons, a significant aspect of neural evolution is a “parcellation” (segregation-isolation) process that involves the loss of selected connections by the new aggregates. A similar process occurs during ontogenetic development. These findings suggest that in many neuronal systems axons do not invade unknown territories during evolutionary or ontogenetic development but follow in their ancestors' paths (...) to their ancestral targets; if the connection is later lost, it reflects the specialization of the circuitry.The pattern of interspecific variability suggests (1) that overlap of circuits is a more common feature in primitive (generalized) than in specialized brain organizations and (2) that most projections, such as the retinal, thalamotelencephalic, corticotectal, and tectal efferent ones, were bilateral in the primitive condition. Specialization of these systems in some vertebrate groups has involved the selective loss of connections, resulting in greater isolation of functions. The parcellation process may also play an important role in cell diversification.The parcellation process as described here is thought to be one of several underlying mechanisms of evolutionary and ontogenetic differentiation. (shrink)

The contributors to this volume address global, regional, and local landscapes, cosmopolitan and indigenous cultures, and human and more-than-human ecology as they work to reveal place-specific tensional dynamics. This unusual book, which covers a wide-ranging array of topics, coheres into a work that will be a valuable reference for scholars of geography and the philosophy of place.

According to T. M. Scanlon's 'buck-passing' analysis of value, x is good means that x has properties that provide reasons to take up positive attitudes vis-à-vis x. Some authors have claimed that this idea can be traced back to Franz Brentano, who said in 1889 that the judgement that x is good is the judgement that a positive attitude to x is correct ('richtig'). The most discussed problem in the recent literature on buckpassing is known as the 'wrong kind of (...) reason' problem (the WKR problem): it seems quite possible that there is sometimes reason to favour an object although that object is not good and possibly very evil. The problem is to delineate exactly what distinguishes reasons of the right kind from reasons of the wrong kind. In this paper we offer a Brentano-style solution. We also note that one version of the WKR problem was put forward by G. E. Moore in his review of the English translation of Brentano's Vom Ursprung sittlicher Erkenntnis. Before getting to how our Brentano-style approach might offer a way out for Brentano and the buck-passers, we briefly consider and reject an interesting attempt to solve the WKR problem recently proposed by John Skorupski. (shrink)

One of the topics that often comes up in ethical discussions of deep brain stimulation (DBS) is the question of what impact DBS has, or might have, on the patient’s self. This is often understood as a question of whether DBS poses a “threat” to personal identity, which is typically understood as having to do with psychological and/or narrative continuity over time. In this article, we argue that the discussion of whether DBS is a “threat” to continuity over time is (...) too narrow. There are other questions concerning DBS and the self that are overlooked in discussions exclusively focusing on psychological and/or narrative continuity. For example, it is also important to investigate whether DBS might sometimes have a positive (e.g. a rehabilitating) effect on the patient’s self. To widen the discussion of DBS, so as to make it encompass a broader range of considerations that bear on DBS’s impact on the self, we identify six features of the commonly used concept of a person’s “true self”. We apply these six features to the relation between DBS and the self. And we end with a brief discussion of the role DBS might play in treating otherwise treatment-refractory anorexia nervosa. This further highlights the importance of discussing both continuity over time and the notion of the true self. (shrink)

In this paper, we discuss the ethics of automated driving. More specifically, we discuss responsible human-robot coordination within mixed traffic: i.e. traffic involving both automated cars and conventional human-driven cars. We do three main things. First, we explain key differences in robotic and human agency and expectation-forming mechanisms that are likely to give rise to compatibility-problems in mixed traffic, which may lead to crashes and accidents. Second, we identify three possible solution-strategies for achieving better human-robot coordination within mixed traffic. Third, (...) we identify important ethical challenges raised by each of these three possible strategies for achieving optimized human-robot cordination in this domain. Among other things, we argue that we should not just explore ways of making robotic driving more like human driving. Rather, we ought also to take seriously potential ways of making human driving more like robotic driving. Nor should we assume that complete automation is always the ideal to aim for; in some traffic-situations, the best results may be achieved through human-robot collaboration. Ultimately, our main aim in this paper is to argue that the new field of the ethics of automated driving needs take seriously the ethics of mixed traffic and responsible human-robot coordination. (shrink)

This paper summarizes and systematizes recent and ongoing work on non-prioritized belief change, i.e., belief revision in which the new information has no special priority due to its novelty.

Five types of constructions are introduced for non-prioritized belief revision, i.e., belief revision in which the input sentence is not always accepted. These constructions include generalizations of entrenchment-based and sphere-based revision. Axiomatic characterizations are provided, and close interconnections are shown to hold between the different constructions.

Abstract“Gamification” refers to adding game-like elements to non-game activities so as to encourage participation. Gamification is used in various contexts: apps on phones motivating people to exercise, employers trying to encourage their employees to work harder, social media companies trying to stimulate user engagement, and so on and so forth. Here, I focus on gamification with this property: the game-designer (a company or other organization) creates a “game” in order to encourage the players (the users) to bring about certain outcomes (...) as a side effect of playing the game. The side effect might be good for the user (e.g., improving her health) and/or good for the company or organization behind the game (e.g., advertising their products, increasing their profits, etc.). The “players” of the game may or may not be aware of creating these side effects; and they may or may not approve of/endorse the creation of those side effects. The organizations behind the games, in contrast, are typically directly aiming to create games that have the side effects in question. These aspects of gamification are puzzling and interesting from the point of view of philosophical analyses of agency and responsibility for outcomes. In this paper, I relate these just-mentioned aspects of gamification to some philosophical discussions of responsibility gaps, the ethics of side effects (including the Knobe effect and the doctrine of double effect), and ideas about the relations among different parties’ agency. (shrink)

While epiphenomenalism—i.e., the claim that the mental is a causally otiose byproduct of physical processes that does not itself cause anything—is hardly ever mentioned in philosophical discussions of free will, it has recently come to play a crucial role in the scientific attack on free will led by neuroscientists and psychologists. This paper is concerned with the connection between epiphenomenalism and the claim that free will is an illusion, in particular with the connection between epiphenomenalism and willusionism, i.e., with the (...) thesis that there is empirical evidence for a thoroughgoing skepticism with regard to free will that is based on the claim that mental states are epiphenomena. The paper discusses four arguments for willusionism that in some form or other appeal to epiphenomenalism and argues that three of them can be discarded relatively easily. The fourth one, based on Daniel Wegner’s theory of apparent mental causation and his claim that free will is an illusion because the feeling of conscious will is epiphenomenal with regard to the corresponding voluntary actions, is dealt with in more detail. The overall verdict is negative: there is no empirical evidence for any kind of epiphenomenalism that would warrant the claim that free will is an illusion. Whatever it is that makes free will the object of contention between neuroscience and philosophy, epiphenomenalism provides no reason to think that free will is an illusion. (shrink)

A new possible world semantics for deontic logic is proposed. Its intuitive basis is that prohibitive predicates (such as "wrong" and "prohibited") have the property of negativity, i.e. that what is worse than something wrong is itself wrong. The logic of prohibitive predicates is built on this property and on preference logic. Prescriptive predicates are defined in terms of prohibitive predicates, according to the wellknown formula "ought" = "wrong that not". In this preference-based deontic logic (PDL), those theorems that give (...) rise to the paradoxes of standard deontic logic (SDL) are not obtained. (E.g., O(p & q) → Op & Oq and Op → O(p v q)) are theorems of SDL but not of PDL.) The more plausible theorems of SDL, however, can be derived in PDL. (shrink)

Available methods such as technology assessment and risk analysis have failed to predict the effects of technological choices. We need to give up the futile predictive ambitions of previous approaches and instead base decisions on systematic studies of alternative future developments. It will then be necessary to cope with mere possibility arguments, i.e., arguments in which a conclusion is drawn from a mere possibility that a course of action may have certain consequences. A five-step procedure is proposed for the assessment (...) of such arguments. It includes a search for mere possibility arguments pointing in different directions, a scientific evaluation that may lead to the specification or refutation of some of these arguments, two symmetry tests, evaluation of the seriousness of the arguments in terms of novelty, spatio-temporal unlimitedness and interference with complex systems, and hypothetical retrospection that aims at finding a course of action that will be defensible in retrospect. (shrink)

Clinical Ethics, Ahead of Print. It could hardly be denied that healthcare should be patient-centred. However, some of the practices commonly described as patient-centred care may have ethically problematic consequences. This article identifies and discusses twelve ethical conflicts that may arise in the application of person-centred care. The conflicts concern e.g. privacy, autonomous decision-making, safeguarding medical quality, and maintaining professional egalitarianism as well as equality in care. Awareness of these potential conflicts can be helpful in finding the best way to (...) ensure that healthcare has its focus on the needs and interests of the patients. Patient-centred care may have to take different forms, depending of the nature of the disease, the patient’s life situation, and the economic, organizational and technological resources available to the healthcare unit. (shrink)

In recent years, several cases about the legal personhood of nonhuman animals garnered global attention, e.g. the recognition of ‘basic rights’ for the Argentinian great apes Sandra and Cecilia. Legal scholars have embraced the animal turn, blurring the once sovereign boundaries between persons and objects, recognising nonhuman beings as legal subjects. The zoonotic origins of the Covid-19 pandemic stress the urgency of establishing ‘global animal law’ and deconstructing anthropocentrism. To this end, it is vital to also consider the extensive premodern (...) legal history that humans share with other animals. Over 200 so-called animal trials have been documented in premodern Europe. In these proceedings, certain nonhuman animals—particularly domestic pigs—were prosecuted, often resulting in their capital punishment or anathema. This paper takes a history of ideas approach to these historical instances where Western philosophy of law and philosophical anthropology intersect, problematising the notion that such trials constitute wholesome precedents of the kind of legal personhood presently debated in jurisprudence. My counter-hegemonic analysis of the legal prosecution and execution of several pigs in fifteenth-century France demonstrates that late mediaeval notions of criminality transcended the alleged human-nonhuman divide whilst reaffirming and reifying human distinctiveness. I propose that pig trials were local laboratories where Christian communities reflected upon the natural hierarchy of God’s creation. Ensuing the apparent breach of the prescribed boundaries of nature, these communities renegotiated and re-naturalised everyday interspecies sociability by utilising the offending animals to exemplify particular norms about what it means to be human, generally to the animals’ detriment. (shrink)

Blockage contraction is an operation of belief contraction that acts directly on the outcome set, i.e. the set of logically closed subsets of the original belief set K that are potential contraction outcomes. Blocking is represented by a binary relation on the outcome set. If a potential outcome X blocks another potential outcome Y, and X does not imply the sentence p to be contracted, then Y ≠ K ÷ p. The contraction outcome K ÷ p is equal to the (...) (unique) inclusion-maximal unblocked element of the outcome set that does not imply p. Conditions on the blocking relation are specified that ensure the existence of such a unique inclusion-maximal set for all sentences p. Blockage contraction is axiomatically characterized and its relations to AGM-style operations are investigated. In a finite-based framework, every transitively relational partial meet contraction is also a blockage contraction. (shrink)

Mainstream risk analysis deviates in at least two important respects from the rationality ideal of mainstream economics. First, expected utility maximization is not applied in a consistent way. It is applied to endodoxastic uncertainty, i.e. the uncertainty (or risk) expressed in a risk assessment, but in many cases not to metadoxastic uncertainty, i.e. uncertainty about which of several competing assessments is correct. Instead, a common approach to metadoxastic uncertainty is to only take the most plausible assessment into account. This will (...) typically lead to risk-prone deviations from risk-neutrality. Secondly, risks and benefits for different persons are added to form a total value of risk. Such calculations are used to support the view that one should accept being exposed to a risk if it brings greater benefits for others. This is in stark contrast to modern Paretian welfare economics, that refrains from interindividual comparisons and does not require people to accept a disadvantage because it brings a larger advantage for others. (Published Online July 11 2006). (shrink)

In a decision making context, an agent’s uncertainty can be either epistemic, i.e. due to her lack of knowledge, or agentive, i.e. due to her not having made use of her decision-making power. In cases when it is unclear whether or not a decision maker presently has control over her own future actions, it is difficult to determine whether her uncertainty is epistemic or agentive. Such situations are often difficult for the agent to deal with, but from an outsider’s perspective, (...) they can have sensible pragmatic solutions. (shrink)

Gender stereotype theory suggests that men are generally perceived as more masculine than women, whereas women are generally perceived as more feminine than men. Several scales have been developed to measure fundamental aspects of gender stereotypes (e.g., agency and communion, competence and warmth, or instrumentality and expressivity). Although omitted in later version, Bem's original Sex Role Inventory included the items “masculine” and “feminine” in addition to more specific gender-stereotypical attributes. We argue that it is useful to be able to measure (...) these two core concepts in a reliable, valid, and parsimonious way. We introduce a new and brief scale, the Traditional Masculinity-Femininity (TMF) scale, designed to assess central facets of self-ascribed masculinity-femininity. Studies 1–2 used known-groups approaches (participants differing in gender and sexual orientation) to validate the scale and provide evidence of its convergent validity. As expected the TMF reliably measured a one-dimensional masculinity-femininity construct. Moreover, the TMF correlated moderately with other gender-related measures. Demonstrating incremental validity, the TMF predicted gender and sexual orientation in a superior way than established adjective-based measures. Furthermore, the TMF was connected to criterion characteristics, such as judgments as straight by laypersons for the whole sample, voice pitch characteristics for the female subsample, and contact to gay men for the male subsample, and outperformed other gender-related scales. Taken together, as long as gender differences continue to exist, we suggest that the TMF provides a valuable methodological addition for research into gender stereotypes. (shrink)

Full meet contraction, that was devised by Carlos Alchourrón and David Makinson in the early 1980' s, has often been overlooked since it is not in itself a plausible contraction operator. However, it is a highly useful building-block in the construction of composite contraction operators. In particular, all plausible contraction operators can be reconstructed so that the outcome of contracting a belief set K by a sentence p is defined as K ∼ f, where ∼ is full meet contraction and (...) f a sentential selector, i.e. a function to and from sentences. This paper investigates the logic of full meet contraction. Seven properties of this operation are presented that contribute to making it useful as a building-block: Full meet contraction is a purely logical operation. It retains finitebasedness of the belief set. It is the inclusion-maximal contraction that removes all sentences that can contribute to implying the input sentence. It is the inclusion-maximal contraction that removes all non-tautologous consequences of the input sentence. Almost all contractions can be reconstructed as full meet contraction. Full meet contraction allows for recovery of the input sentence. Full meet contraction provides a unified account of multiple and singleton contraction. La llamada full meet contraction, creada por Carlos Alchourrón y David Makinson en los comienzos de los ' 80, ha sido a menudo desestimada puesto que ella no constituye un operador de contracción plausible. De todas formas ella es altamente útil en la construcción de operadores de contracción compuestos. En particular, todos los operadores de contracción plausibles pueden ser reconstruidos de forma tal que la contracción de un conjunto de creencias K por una sentencia p sea definida como K ∼ f, donde ∼ es una full meet contraction y f un selector de sentencias, i.e., una función de sentencias a sentencias. En este trabajo investigamos la lógica de la full meet contraction. Se presentan siete propiedades de esta operación que contribuyen a hacerla útil como building-block: Full meet contraction es una operación puramente lógica. Ella retiene la finit- basednes del conjunto de creencias. Ella es la máxima-inclusiva de las contracciones que elimina todas las sentencias que pueden contribuir a implicar la input-sentence. Es la contracción maximal inclusiva que elimina todas las consecuencias no tautológicas de la input-sentence. Casi todas las contracciones pueden ser reconstruidas como full-meet contractions. Full meet contraction permite la recuperación de la input-sentence. Full meet contracción da cuenta en forma unificada de las contracciones múltiples y singulares. (shrink)

Kant on Duty to Oneself and Resistance to Political Authority SVEN ARNTZEN in ms DOCTRI~tE OF Law and related writings? Kant denies the subject's right to resist political authority in the strongest terms. His argumentation to sup- port this denial is conceptual in character. The denial of a right of resistance follows from the relevant legal concepts of civil society, of the people as sub- ject, of the head of state as the supreme power in civil society, as having (...) only rights but no duties that he may be coerced to fulfill, and of a right as an authorization to use coercion. Civil society is the coexistence of persons as subject to a central authority, a supreme power, which is not itself subject to some other coercive authority. For the people as subject to have a right to resist the supreme power in civil society would be for it to have an authorization to use coercion to restrain that power, which would not, then, be the supreme power. In other words, a people's right to resist the supreme power would imply that the power is both supreme and not ' By Kant's Doctrine of Law I mean his Die metaphysische Anfangsgriinde der Rechtslehre, the first part ofD/e Metaphysik der Sitten, hereafter MdS . The other available translation of the Doctrine of Law is by John Ladd, and is rendered as The Metaphysical Elements of Justice (Indianapolis: The.. (shrink)

A value statement such as “she is a good teacher” is categoryspecified, i.e., the criteria of evaluation are specified as those that are applicable to a given category, in this case the category of teachers. In this study of categoryspecified value statements, certain categories are identified that cannot be used to specify value aspects. Special attention is paid to categories that are constituted by functional characteristics. The logical properties of value statements that refer to such categories are shown to differ (...) significantly from the corresponding properties in social choice theory. (shrink)

Kants Position zur moralischen Selbsterkenntnis liegt zwischen den beiden Polen des Cartesianismus und des Behaviorismus. Hinsichtlich des Wissens um die eigenen Maximeninhalte vertritt Kant die cartesische Direktheitsthese und m.E. auch die Unfehlbarkeitsthese. Die beiden anderen Aspekte der moralischen Selbsterkenntnis – das Wissen um die Pflichtgemäßheit der Maximen und das Wissen um die Handlungsmotive – sind Kant zufolge allerdings weder infallibel, noch unbezweifelbar, noch direkt. Und obgleich Überzeugungen hinsichtlich der eigenen Handlungsmotive in Zweifel gezogen werden und sich als falsch erweisen können, (...) sind sie dennoch verläßlicher als Überzeugungen hinsichtlich der Handlungsmotive anderer. (shrink)

In economic analysis, it is usually assumed that each individuals well-being (mental welfare) depends on her or his own resources (material welfare). A typology is provided of the ways in which one persons well-being may depend on the material resources of other persons. When such dependencies are taken into account, standard Paretian analysis of welfare needs to be modified. Pareto efficiency on the level of material resources need not coincide with Pareto efficiency on the level of well-being. A change in (...) economic conditions that is Pareto efficient in the standard sense, i.e., with respect to material resources, may nevertheless sacrifice one persons well-being to that of another. It is shown that under plausible assumptions, Pareto efficiency on the level of well-being may require the reduction of inequality on the level of material resources. (shrink)

We can often specify how we would contract by a certain sentence by saying that this contraction would coincide with some other contraction that we know how to perform. We can for instance clarify that our contraction by p&q would coincide with our contraction by p, or by q, or by {p, q}. In a framework where the set of potential outcomes is known, some contractions are “self-evident” in the sense that there is only one serious candidate that can be (...) the outcome of such a contraction. Contraction by a specific contractee (sentence or set of sentences to be contracted) is bootstrapped if it is specified by saying that it coincides with some such self-evident contraction. For a wide range of (multiple) contraction operators, contractions by any contractee can be bootstrapped. This means that the selection mechanism (selection function, incision function, etc.) can be replaced by a function called a bootstrapping selector that assigns to each contractee some “self-evident” contractee that yields the same outcome. With bootstrapping we can eliminate traditional extralogical components in contraction (e.g., selection functions) and replace them by bootstrapping selectors that reflect more closely the ways in which we actually reason and argue about belief contraction. (shrink)

ABSTRACTAlexander Wendt’s Quantum Mind and Social Science challenges social scientists to replace contemporary understandings of the individual and society with concepts better suited to quantum reality. This would mean replacing reductionist materialism with notions of consciousness as probabilistic, not strictly determined; and substituting, for individualistic models of society, new ones that acknowledged our connectedness to each other “at a distance,” i.e., without mediation by mechanisms modeled on Newtonian physics. His challenge is welcome, for in both respects, Wendt would have us (...) replace ways of thinking that have long been inadequate to explain empirical reality. (shrink)

Logic is traditionally considered to be a purely syntactic discipline, at least in principle. However, prof. David Isles has shown that this ideal is not yet met in traditional logic. Semantic residue is present in the assumption that the domain of a variable should be fixed in advance of a derivation, and also in the notion that a numerical notation must refer to a number rather than be considered a mathematical object in and of itself. Based on his work, the (...) central question of this thesis is what kind of logic, if any, results from removing this semantic residue from traditional logic.We differ from traditional logic in two significant ways. The first is that the assumption that a numerical notation must refer to a number is denied. Numerical notations are considered as mathematical objects in their own right, related to each other by means of rewrite rules. The traditional notion of reference is then replaced by the notion of reduction (by means of the rewrite rules) to a normal form. Two numerical notations that reduce to the same normal form would traditionally be considered identical, as they would refer to the same number, and hence they would be interchangeable salva veritate. In the new system, called Buridan-Volpin (BV), the numerical notations themselves are the elements of the domains of variables, and two numerical notations that reduce to the same normal form need not be interchangeable salva veritate, except when they are syntactically identical (i.e., have the same Gödel number).The second is that we do away with the assumption that the domains of variables need to be fixed in advance of a derivation. Instead we focus on what is needed to guarantee preservation of truth in every step of a derivation. These conditions on the domains of the variables, accumulated in the course of a derivation, are combined in a reference grammar. Whereas traditionally a derivation is considered valid when the conclusion follows from the premisses by way of the derivation rules (and possibly axioms), in the BV system a derivation must meet the extra condition that no inconsistency occurs within the reference grammar. For if the reference grammar were to give rise to inconsistency (i.e., it would be impossible to assign domains to all the variables without breaking at least one of the conditions placed on them in the reference grammar), there is no longer a guarantee that truth has been preserved in every step of the derivation, and hence the truth of the conclusion is not guaranteed by the derivation.In Chapter 2 the BV system is introduced in some formal detail. Chapter 3 gives some examples of derivations, notably totality of addition, multiplication and exponentiation, as well as a lemma needed for the proof of Euclid’s Theorem. These examples, taken from prof. Isles’ First-Order Reasoning and Primitive Recursive Natural Number Notations, show that there is a real proof-theoretical difference between traditional logic and the BV system. Here we also find the first major point of departure between myself and prof. Isles, centered on the notion of inheritance of conditions in the reference grammar by way of lemmata. These different points of view are best illustrated in the sections on the totality of exponentiation and on Euclid’s Lemma: prof. Isles maintains that the proof of totality of exponentiation is not BV valid, while I maintain that it is. But I do agree with him that the traditional proof of Euclid’s Lemma is not BV valid. Chapter 6 also expands the arguments for my choice in this matter.Now that it has been shown that there is a difference between traditional logic and BV, the properties of BV need to be examined. In Chapter 4 we give a proof of Cut-elimination for BV minus induction and the subformula property for BV, which allows us to prove the consistency of BV minus induction. We also expand on the reasons for excluding induction. In Chapter 5 we consider in detail the proof of a finite analog to the Löwenheim–Skolem theorem given by prof. Isles in his article with the same title. He proves that under certain conditions it is always possible, given the existence of a (possibly uncountable) model for a derivation, to give a finite model for this derivation. The system he considers deviates from BV as considered in this thesis in two significant ways: it does not contain the induction rule and the domains contain numbers instead of numerical notations. We then go on to show that it is possible to extend the result to include induction, in the sense that the existence of a possibly uncountable model for a derivation guarantees the existence of a model that is at most countable. We also consider the complications that arise from taking numerical expressions instead of numbers as the elements of domains.Finally, in Chapter 6 we consider the philosophical consequences of the BV system, informed by the formal results from the previous chapters. In particular we discuss the relation between reduction and reference, the status of reference grammars, the notion of induction and its function within BV, and some brief considerations on the consequences of the BV system for the discussion regarding nominalism and realism with regard to mathematical objects. The object of the chapter is twofold. On the one hand applying the formal results to philosophical questions, on the other hand arguing that BV is not just a theoretically acceptable alternative to traditional logic, but is in fact deserving of further development and research into its properties. The latter will probably appeal most to those of a nominalist and/or finitist bent.Abstract prepared by Harrie de Swart and Sven Storms.E-mail:sven.storms@tilburguniversity.eduURL:https://research.tilburguniversity.edu/files/61701294/Storms_The_Bu ridan_Volpin_04_05_2022.pdf. (shrink)

Blockage revision is a version of descriptor revision, i.e. belief change in which a belief set K is changed with inputs whose success conditions are metalinguistic expressions containing the belief predicate \. This is a highly general framework that allows a single revision operator \ to take inputs corresponding to sentential revision ), contraction ) as well as more complex and composite operations. In blockage revision, such an operation is based on a relation \ of blockage among the set of (...) potential outcomes. \ signifies that if X satisfies the success condition of a belief change, then Y cannot be its outcome. The properties of blockage revision are investigated, and conditions on the blocking relation are specified that characterize various properties of the resulting operation of change. (shrink)

ZusammenfassungDie gegenwärtige Debatte um die normativen Grundlagen kritischer Gesellschaftstheorie weist eine große Bandbreite ethischer Positionen auf: vom ethischen Negativismus, der gänzlich auf einen positiven Kritik-Maßstab verzichtet, über Entfremdungs- und Resonanztheorien, die zumindest eine grobe Vorstellung des guten Lebens vermitteln wollen, bis hin zu deontologischen Ansätzen, die Gesellschaftskritik in intelligibler Freiheit begründet sehen. Der folgende Beitrag zeigt, dass diese drei Grundpositionen sich mit Problemen konfrontiert sehen, die der hegelsche Freiheitsbegriff zu lösen vermag.

The anti-realist maintains that all thoughts that we may entertain are thoughts whose truth-values we can in principle come to recognise. The realist refuses to make any such claim about the limits of our thinking. The anti-realist purports to arrive at her position on the basis of considerations which relate to the manifestability of understanding, i.e. the idea that grasp of thoughts must be manifested in linguistic abilities. Thus she argues against the realist that this requirement cannot be met unless (...) truth is understood not to extend beyond what we can know. Turning the tables, I argue that it is the antirealist who cannot vindicate her position on these grounds. Some thoughts are apt for objective truth; their truth cannot be equated with their current assertibility. Our grasp of such thoughts is not yet manifested in our ability to assert or deny sentences. Once we have identified patterns of linguistic usage which display our grasp of such thoughts however, it transpires that there is no reason either to believe that their truth-values can in principle be recognised. (shrink)

The paper proposes a novel account of justified evidence resistance. When S inquires as to whether p is the case, S resists available counterevidence e if S either fails to countenance e or is insensitive to e’s probative force. S is justified in resisting available counterevidence e if and only if e is irrelevant.

James Wm. Forrester, Being Good and Being Logical. Philosophical Groundwork for a New Deontic Logic. Armonk and London, M.E. Sharpe, 1996. Pp.x+332.

Theoria , the international Swedish philosophy journal, was founded in 1935. Its contributors in the first 75 years include the major Swedish philosophers from this period and in addition a long list of international philosophers, including A. J. Ayer, C. D. Broad, Ernst Cassirer, Hector Neri Castañeda, Arthur C. Danto, Donald Davidson, Nelson Goodman, R. M. Hare, Carl G. Hempel, Jaakko Hintikka, Saul Kripke, Henry E. Kyburg, Keith Lehrer, Isaac Levi, David Lewis, Gerald MacCallum, Richard Montague, Otto Neurath, Arthur N. (...) Prior, W. V. Quine, Nicholas Rescher, Ernest Sosa, Robert C. Stalnaker, P. F. Strawson, Patrick Suppes, Johan van Benthem, Georg Henrik von Wright and many others. Hempel's confirmation paradoxes, Ross's deontic paradox, Montague's universal grammar and Lindström's theorem are among the contributions to philosophy that were first published in Theoria. (shrink)

All formal models of belief change involve choices between different ways to accommodate new information. However, the models differ in their loci of choice, i.e. in what formal entities the choice mechanism is applied to. Four models of belief change with different loci of choice are investigated in terms of how they satisfy a set of important properties of belief contraction and revision. It is concluded that the locus of epistemic choice has a large impact on the properties of the (...) resulting belief change operation. (shrink)

The volume analyses and develops David Makinson’s efforts to make classical logic useful outside its most obvious application areas. The book contains chapters that analyse, appraise, or reshape Makinson’s work and chapters that develop themes emerging from his contributions. These are grouped into major areas to which Makinsons has made highly influential contributions and the volume in its entirety is divided into four sections, each devoted to a particular area of logic: belief change, uncertain reasoning, normative systems and the resources (...) of classical logic. Among the contributions included in the volume, one chapter focuses on the “inferential preferential method”, i.e. the combined use of classical logic and mechanisms of preference and choice and provides examples from Makinson’s work in non-monotonic and defeasible reasoning and belief revision. One chapter offers a short autobiography by Makinson which details his discovery of modern logic, his travels across continents and reveals his intellectual encounters and inspirations. The chapter also contains an unusually explicit statement on his views on the role of logic in philosophy. (shrink)